Denotational Semantics Language

(DSL) The {specification language}

used by the {SIS} {compiler generator}.

["SIS - Semantics Implementation System", P.D. Mosses, TR

DAIMI MD-30, Aarhus U, Denmark].

(1996-10-13)